Domain(
  data("Ratings") has (quality("Show a maximum of 5 ratings at a time"),data("Mean value")), 
  data("Reviews") has (quality("Show a maximum of 5 reviews at a time")), 
  data("Statistics") has (data("Location"),data("Timestamp"),data("OS identifier"),data("Sharing statistics")), 
  feature("Alert messages", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    revision -> Time(y=2011,m=11,d=12,h=17,min=13,sec=47),
    gist -> "The application can alert the user through different types of messages"
  ), 
  feature("Alert messages") has (feature("Version message"),feature("Release messages"),feature("Error message"),feature("Network message"),feature("Rate message")), 
  feature("Cancelable", 
    gist -> "It should be possible to exit the introductory tutorial without finishing it",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40),
    revision -> Time(y=2011,m=11,d=12,h=17,min=18,sec=40)
  ), 
  feature("Check-in", 
    gist -> "The application allows the user to check-in at their location through Facebook",
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9),
    revision -> Time(y=2011,m=11,d=12,h=17,min=21,sec=9)
  ), 
  feature("Coupon", 
    gist -> "The application will have functionality for special offers through a coupon system",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55),
    revision -> Time(y=2011,m=11,d=11,h=14,min=32,sec=55)
  ), 
  feature("Customisation", 
    gist -> "The application will be customisable, both for specialisation for the different franchises and for the end user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48),
    revision -> Time(y=2011,m=11,d=10,h=19,min=52,sec=48)
  ), 
  feature("Customisation") has (feature("Favourites")), 
  feature("Error message") has (function("Notify developers"),data("Timestamp"),data("Error code"),quality("Written in English"),quality("Describes the cause of the error without the use of written code in the message."),feature("Timeout error")), 
  feature("Execution", 
    state -> created,
    creation -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    revision -> Time(y=2011,m=11,d=12,h=17,min=16,sec=42),
    gist -> "Requirements related to the execution"
  ), 
  feature("Execution") has (feature("Execution time"),feature("Execution rigidity"),feature("Network")), 
  feature("Facebook") has (feature("Check-in"),feature("Message"),feature("Message wall")), 
  feature("Favourites") has (quality("Can store at least 100 favourites"),feature("Sortable"),feature("Removable"),feature("Shareable")), 
  feature("Feedback", 
    gist -> "Information sent to the developers or the statistics database",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41),
    revision -> Time(y=2011,m=11,d=10,h=20,min=45,sec=41)
  ), 
  feature("Feedback") has (feature("Send feature request"),feature("Developer contact"),feature("Send statistics")), 
  feature("Filter") has (feature("Opening hours"),feature("Rating"),feature("Category"),feature("Favourites"),feature("Blacklisted")), 
  feature("Follows the application marketplace guidelines", 
    gist -> "The application follows the guidelines for Android Market and Apple App Store",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45),
    revision -> Time(y=2011,m=11,d=10,h=19,min=21,sec=45)
  ), 
  feature("Graphic", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26),
    revision -> Time(y=2011,m=11,d=10,h=20,min=34,sec=26)
  ), 
  feature("Info view") has (feature("Directions to active location from here"),data("Reviews"),data("Distance from active location"),data("Ratings"),feature("Add to favourites"),data("Address"),data("Open hours"),feature("Directions from active location"),goal("Supply sufficient information for the specified location"),feature("Share")), 
  feature("Introduction tutorial", 
    gist -> "An introductory tutorial for first-time users",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43),
    revision -> Time(y=2011,m=11,d=11,h=14,min=45,sec=43)
  ), 
  feature("Introduction tutorial") has (quality("Should be understood by at least 80 percent of all users in a mixed English speaking focus group"),feature("Retakeable"),quality("Should include at least 80 percent of all product features"),quality("A user should after completion be able to perform at least 80 percent of all product features"),feature("Cancelable"),quality("80 percent of the users should be able to complete the tutorial within 2 minutes, 95 percent of the time"),quality("All text should be written in English")), 
  feature("Introduction") has (), 
  feature("Launch screen", 
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59),
    revision -> Time(y=2011,m=11,d=10,h=20,min=25,sec=59)
  ), 
  feature("Location info") has (data("Title"),data("Rating"),data("Icon"),feature("Info view")), 
  feature("Map Support") has (feature("Map pin")), 
  feature("Map arrow") has (quality("Never larger than 48 pixels."),feature("Transforms into a map pin if location within the view port"),feature("Shows distance"),data("Icon"),feature("Reflects distance in its size")), 
  feature("Map pin") has (feature("Pin types"),feature("Radius"),feature("Changable icon"),data("Icon"),data("Color"),feature("Removable"),feature("Tapable")), 
  feature("Map support", 
    gist -> "Map features",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8),
    revision -> Time(y=2011,m=11,d=10,h=16,min=12,sec=8)
  ), 
  feature("Map support") has (feature("Location info"),feature("Filter"),feature("Mutable radius"),quality("Shows a maximum of 5 map arrows at a time."),feature("Map view"),feature("Map arrow")), 
  feature("Map view") has (feature("Satellite view"),feature("Hybrid view"),feature("User location"),feature("Zoomable"),feature("Regular map view")), 
  feature("Mutable radius") has (quality("Maximum radius coverage is 40 percent of the map view"),feature("viewability toggle"),quality("should if visible be seen by at least 78 percent of all viewers"),feature("Scalable")), 
  feature("Network message") has (feature("No server connection"),feature("No data traffic"),feature("No internet connection"),feature("Network timeout")), 
  feature("News", 
    gist -> "A screen that gives the user news about the franchise",
    state -> specified,
    creation -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1),
    revision -> Time(y=2011,m=11,d=11,h=14,min=33,sec=1)
  ), 
  feature("Notification support", 
    gist -> "Support for giving notifications to the user",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0),
    revision -> Time(y=2011,m=11,d=10,h=16,min=44,sec=0)
  ), 
  feature("Notification support") has (feature("Push notification")), 
  feature("OS support", 
    gist -> "Mobile OS support",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30),
    revision -> Time(y=2011,m=11,d=10,h=16,min=5,sec=30)
  ), 
  feature("OS support") has (feature("Support for Android"),feature("Support for iOS")), 
  feature("Pin types") has (data("Resturant pin type"),data("User pin type")), 
  feature("Send statistics") has (data("Statistics")), 
  feature("Sharing support", 
    gist -> "Support for sharing statistics and location",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29),
    revision -> Time(y=2011,m=11,d=10,h=16,min=32,sec=29)
  ), 
  feature("Sharing support") has (feature("SMS integration"),feature("Copy location"),feature("Google+ integration"),feature("E-mail integration"),feature("Twitter"),feature("Facebook")), 
  feature("URL scheme", 
    gist -> "The URL scheme used by iOS devices to load applications with given parameters",
    state -> specified,
    creation -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44),
    revision -> Time(y=2011,m=11,d=10,h=20,min=30,sec=44)
  ), 
  feature("User location") has (feature("Compass"),feature("Error margin radius"),quality("Maximum error of 100 meters 80 percent of the time")), 
  product("Food Finder", 
    creation -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52),
    revision -> Time(y=2011,m=11,d=10,h=16,min=24,sec=52)
  ), 
  quality("Follows the guidelines of the Android marketplace", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=56)
  ), 
  quality("Follows the guidelines of the iOS appstore", 
    creation -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50),
    revision -> Time(y=2011,m=11,d=11,h=15,min=1,sec=50)
  ), 
  stakeholder("Android marketplace", 
    gist -> "Indirect: Provides a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59),
    revision -> Time(y=2011,m=11,d=11,h=16,min=59,sec=59)
  ), 
  stakeholder("Apple AppStore", 
    gist -> "Indirect: provide a retail channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9),
    revision -> Time(y=2011,m=11,d=11,h=17,min=6,sec=9)
  ), 
  stakeholder("Apple iOS", 
    gist -> "Indirect: provides the iOS platform",
    creation -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=5,sec=22)
  ), 
  stakeholder("Design team", 
    gist -> "The design team responsible for tailoring the design of the applicataion for different franchises",
    creation -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=48,sec=57)
  ), 
  stakeholder("Development team", 
    gist -> "The development team respinsible for maintaining the product",
    creation -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11),
    revision -> Time(y=2011,m=11,d=11,h=16,min=44,sec=11)
  ), 
  stakeholder("Franchises", 
    gist -> "A company aspiring to buy a company specific application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56),
    revision -> Time(y=2011,m=11,d=11,h=16,min=38,sec=56)
  ), 
  stakeholder("Google Android", 
    gist -> "Indirect: Provides the android platform",
    creation -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57),
    revision -> Time(y=2011,m=11,d=11,h=16,min=57,sec=57)
  ), 
  stakeholder("Google maps", 
    gist -> "Indirect: The map provider for the application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13),
    revision -> Time(y=2011,m=11,d=11,h=16,min=54,sec=13)
  ), 
  stakeholder("ISP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=3)
  ), 
  stakeholder("Product owner", 
    gist -> "The company owning the source code of the base application",
    creation -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32),
    revision -> Time(y=2011,m=11,d=11,h=16,min=42,sec=32)
  ), 
  stakeholder("Smartphone manifacturers", 
    gist -> "Indirect: Companies specializing in smatphones using iOS and Android OS",
    creation -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5),
    revision -> Time(y=2011,m=11,d=11,h=17,min=10,sec=5)
  ), 
  stakeholder("TSP", 
    gist -> "Indirect: Provides a networking channel",
    creation -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22),
    revision -> Time(y=2011,m=11,d=11,h=17,min=8,sec=22)
  ), 
  stakeholder("User", 
    gist -> "The application end user",
    creation -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44),
    revision -> Time(y=2011,m=11,d=11,h=16,min=35,sec=44)
  )
)